#lógica de programas

Semántica de Modelos Estables Funcionales y Programación de Conjuntos de Respuestas Módulo Teorías

Descubre la semántica de modelos estables funcionales y ASP módulo teorías. Un análisis profundo para expertos en lógica computacional.